1. ......................

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده :
QA
3
.
L28
no
.
500

2. <A> Framework for Priority Arguments

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی

رده :
QA9
,.
54
.
F7
,
L47
2010

3. A bridge to advanced mathematics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Proof theory,، Arithmetic-- Foundations

رده :
QA
9
.
S44

4. A framework for priority arguments

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical

رده :
QA
9
.
A1L44
Vol
.
34

5. A middle way to God

پدیدآورنده:

کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)

موضوع: Proof ، God,، Theism,، Other minds )Theory of knowledge(

رده :
BT
102
.
H336
2003

6. A middle way to God

پدیدآورنده:

کتابخانه: كتابخانه وزارت امور خارجه (تهران)

موضوع: God- Proof,Other minds (Theory of knowledge)

7. Adapting proofs-as-programs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :
E-BOOK

8. Adapting proofs-as-programs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :
E-BOOK

9. Adapting proofs-as-programs

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :
QA
,
9
.
54
,.
P64
,
2005

10. Advances in Proof Theory

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Proof theory -- Congresses.

رده :
E-Book
,

11. Advances in proof theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Proof theory

رده :
QA
9
.
54
.
A39

12. An accompaniment to higher mathematics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E96

13. An accompaniment to higher mathematics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E96
1996

14. An introduction to mathematical reasoning :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Proof theory

رده :
QA9
.
54
.
E23
1997

15. An introduction to mathematical reasoning: lectures on numbers, sets, and functions

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E23
1997

16. An introduction to mathematical reasoning: numbers, sets and functions

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E23
1997

17. An introduction to mathematical reasoning : numbers, sets and functions

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E22

18. An introduction to the language of mathematics /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.

رده :
QA9
.
54

19. Analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.

رده :
QA300
.
L427
2006

20. Analysis

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Mathematical analysis,Proof theory

رده :
QA
300
.
L427
1986